Interpretation centre

Results: 151



#Item
21Earthquake / Seismology / International Seismological Centre / Surface wave magnitude / Cosmic distance ladder / Physics / Seismic scales / Geology

Plan of activities of the new IASPEI Working Group on Magnitude Measurements 1. Background The Working Group (WG) on Magnitude Measurements of the IASPEI Commission on Seismological Observation and Interpretation was beg

Add to Reading List

Source URL: www.iaspei.org

Language: English - Date: 2014-12-17 05:41:27
22Cartography / Remote sensing / Spectroscopy / Infrared imaging / Imaging / Hyperspectral imaging / LIDAR / HyMap / Spectral imaging / Electromagnetic radiation / Optics / Science

GEOLOGICAL OUTCROP MODELLING AND INTERPRETATION USING GROUND BASED HYPERSPECTRAL AND LASER SCANNING DATA FUSION T. H. Kurza, b,* , S. J. Buckleya, J. A. Howella, D. Schneiderc a Centre for Integrated Petroleum Research,

Add to Reading List

Source URL: org.uib.no

Language: English - Date: 2008-06-07 07:19:46
23Oceanography / Fisheries / Aquatic ecology / Marine biology / Landforms / Intertidal zone / Tide / Whale / Physical oceanography / Physical geography / Water

Bamfield Marine Sciences Centre SAMPLE ITINERARY Coastal Science and Interpretation for Wilderness Guides May 10 to 13, 2014 Saturday, May 10 (Low tide of 1.2 m @ 16:08) 12:00-12:30 Pick-ups in Port Alberni with BMSC bus

Add to Reading List

Source URL: www.bms.bc.ca

Language: English - Date: 2015-02-23 04:38:52
24Ethology / Interpretation / Scientific modelling / Reliability engineering / Technical University of Crete / ARC Centre for Complex Systems / Systems engineering / Science / Engineering

DOC Document

Add to Reading List

Source URL: www.vtu.bg

Language: English - Date: 2011-08-30 02:08:20
25Non-classical logic / Paraconsistent logic / Semantics / Philosophical logic / Many-valued logic / Interpretation / Valuation / Relevance logic / Propositional calculus / Logic / Mathematical logic / Model theory

Two, Many, And Differently Many Diderik Batens∗ Centre for Logic and Philosophy of Science Ghent University, Belgium [removed]

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2014-11-07 13:08:11
26Proof theory / Logical syntax / Philosophical logic / Logic in computer science / Mathematical constructivism / Natural deduction / Mathematical proof / Theorem / Brouwer–Heyting–Kolmogorov interpretation / Logic / Mathematical logic / Mathematics

Intuitionistic Logic of Proofs with dependent proof terms Giuseppe Primiero FWO – Centre for Logic and Philosophy of Science Ghent University (Belgium) Abstract

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2012-05-02 07:22:41
27Paraconsistent logic / Philosophical logic / Propositional calculus / Model theory / Interpretation / Propositional variable / Classical logic / Logic / Mathematical logic / Non-classical logic

Spoiled for Choice?∗ Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed]

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2013-08-16 10:44:10
28Model theory / Proof theory / Propositional calculus / Natural deduction / Entailment / Modal logic / Interpretation / Valuation / Kripke semantics / Logic / Philosophical logic / Deduction

A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2012-06-27 07:55:59
29Non-classical logic / Modal logic / Philosophical logic / Model theory / Deontic logic / Default logic / Function / Interpretation / Dc / Logic / Mathematical logic / Mathematics

Dynamic Proof Theories For Input/Output Logic Christian Straßer, Mathieu Beirlaen, and Frederik Van De Putte Centre for Logic and Philosophy of Science Ghent University August 28, 2013 Abstract

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2013-08-29 06:09:36
30Non-classical logic / Valuation / Interpretation / Logic / Philosophical logic / Modal logic

A verificationist modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science, Ghent University

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2012-06-25 06:58:58
UPDATE